ITY vaikuttaa – yhdessä

C Ode C Ity

The analysis of large-scale software is difficult in the absence of supporting tools, due to the sheer size and complexity of today’s systems. We present CODECITY, a language-independent interactive 3D visualization tool for the analysis of large object-oriented software systems. Using a city metaphor, it depicts classes as buildings and packages as districts of a “software city”. We start pres...

Stabilization - Preserving Atomi ity Re

erimenta esults on over Point i ity

Determining whether a propositional theory is satisfiable is a prototypical example of an NPcomplete problem. Further, a large number of problems that occur in knowledge representation, learning, planning, and other areas of AI are essentially satisfiability problems. This paper reports on a series of experiments to determine the location of the crossu2rer point the point at which half the rand...

1076 Major Histocompatibii , Ity Complex - Restricted Antibody

Extensive studies in the mouse have shown that cell-mediated lympholysis can occur against virus-infected (1) or chemically modified (2) target cells if the cytolytic effector cell shares an H-2 determinant with the target cell. The same holds true for the minor histocompatibility antigens such as H-Y (3, 4). More recent studies have shown that the same phenomenon can be observed in man. Our gr...

Re ording Medium Properties and Capa ity